package hu.ngms.jpf.examples;

public class PathCoverage {

	@gov.nasa.jpf.annotation.Const
	private Object object = "1";

	public void doSomething(int foo) {
		if (foo == 0) {
			object = "2";
		} else if (foo == 1) {
			object = "3";
		}
	}

}
